"9. November hätte sich angeboten". Historiker Döscher: Vielschichtiges Datum galt für Nationalfeiertag als belastet.