@bmbf_bund @DC4DD Ja, dem stimme ich voll zu. Aber der 9.November wäre kein Ersatz für den 3. Oktober (So hatte ich Deinen Ursprungspost verstanden). Ansonsten gebe ich Dir Recht. Der 9.November könnte sehr gut ein offizieller Gedenktag für die deutsche Geschichte werden.