Der Montag, an dem die Diktatur zerbrach.Dass nicht der 9. Oktober zum Feiertag der Deutschen geworden, ist schade - er hätte es verdient