Ich finde, eine vollständige Liste sprengt den Artikel. Deswegen finde ich beides gut: eine eigene Liste und Highlights bei den Alumni, Professoren und Ehrendoktoren. Dass wir uns nie werden einigen können, wer wichtig ist und wer nicht, ist mir auch klar, aber dem Eintrag würde es meiner Meinung nach gut tun. 192.0.2.255