Ehemaliger deutscher Nationalfeiertag: 17. Juni 1953

PanzerGert: Auch wenn man natürlich schnell vom einem zum anderen Thema kommen kann, bleiben wir doch beim Thema selbst, welches der 17. Juni ist.