Mariä Himmelfahrt (regionaler Feiertag) (15.08.2020)