Sollte der 8. Mai ein bundesweiter Feiertag werden?