Mariä Himmelfahrt (regionaler Feiertag) (15.08.19)