Ist der 9. November weniger bedeutend als der 3. Oktober in Bezug auf einen deutschen Feiertag? Liegt es einzig an der Reichspogromnacht, dass dem 3. Oktober der Vorzug gegeben wurde? Können die Niederschlagung des Hitler-Ludendorff-Putschs 1923 und das Ausrufen der deutschen Republik 1918 nicht "unterstützend" für ein Pro des 9. Novembers als Feiertag wirken?