@edda8af1 Der 9. November geht als Feiertag nun mal nicht [als stller Gedenktag wäre er gut!]. 

 @18b566c0 Der wäre super. In jeder Hinsicht perfekt für die deutsche Geschichte.