Mariä Himmelfahrt (gesetzlicher Feiertag)