Pfingsten (regionaler Feiertag) (31.05.20)