Supi, aber hier ging es eingangs um die Frage, ob man Prof. Dr. sagen muss/soll. Wenn dem Prof. kein Doc. vorhergegangen ist, erübrigt sich die Frage ebenso, als wenn der feine Herr beide Titel inne hat.

Ich weiß, es ist heissssssss.