Unable to answer "What is the name of this place? (University Grounds)" for https://osm.org/relation/3524728 via StreetComplete 21.2:

Kirche St. Michael, Priesterseminar und Alte Uni. Nur die letzte ist Teil der Universität.