Mariä Himmelfahrt (regionaler Feiertag) (15.08.20)