Der 17. Juni ist ein besserer Nationalfeiertag als der 3. Oktober