Ist Mariä Himmelfahrt in Bayern gesetzlicher Feiertag?