@1db93fe1 @f9fda794 Weil der 9. November auf Druck der für die politische Wende eintretenden Bevölkerung der DDR und des Drucks von außen 'entstand', während der 3. Oktober 'nur' aufgund des damit einhergehenden Verwaltungsprozesses geboren wurde. Das erste Datum also mit Gefühl, das letztere mit Verwaltungshandeln verknüpft. Meine Meinung.