Ist ja durch den Tag der Deutschen Einheit im Oktober ersetzt worden. Logisch ist das natürlich Schwachsinn, weil es zwei völlig unterschiedliche Ereignisse waren.
Ich glaube, mich erinnern zu können (hab die 0,8 Promille noch nicht erreicht), daß der 17. Juni mal als zusätzlicher Feiertag in der Diskussion war. Berlin?