Korrektur: nicht Himmelfahrt, sondern Fronleichnam ist der Feiertag