Nach dem Zweiten Weltkrieg wurde die Große Aula der Ludwig-Maximilians-Universität nicht von Professoren und Studenten genutzt. Wer arbeitete hier statt dessen?