Ich danke allen Leuten, die sich hier zu dieser Frage geäußert haben! Im Artikel ausdrücklich zu sagen, dass die Bezeichnung "Hauptuni" falsch ist (und dass diese Bezeichnung falsch ist, hat ja hier niemand bestritten), ist offenbar wichtiger, als ich dachte. Den Vorschlag von Neroclaudius habe ich nun versucht umzusetzen und hoffe, dass damit