Der 1. Mai gilt hier als Feiertag: