Es sind diese Art der Feiertage, die ein Land ausmachen.
Jedes Land hat so etwas wie einen Nationalfeiertag und der 3. Oktober ist unser.
Sowie der 8. Mai 1945 für die DDR nur wenig bedeutet, so bedeutet der 17. Juni für die damalige BRD wenig. Dabei geht es nicht um die Leistungen und das Erreichte an dem Tag, aber als gesamtnationaler Feiertag wäre es eine Fehlbesetzung.