Ist Europatag ein Feiertag