Mariä Himmelfahrt (regionaler Feiertag) (15.08.2019)