In welchen Regionen in Deutschland ist Mariä Himmelfahrt ein gesetzlicher Feiertag?
Das müsste das Saarland und Bayern sein.
In Saarland und in Bayern
Nur im Saarland und in katholischen Gemeinden Bayerns