In Bayern ist heute Feiertag – allerdings nicht überall. Ob Arbeitnehmer am Hochfest Mariä Himmelfahrt frei haben oder nicht, hängt von der Zahl der Katholiken in den einzelnen Gemeinden ab. Katholisch.de erklärt diese bundesweit einmalige Regelung – samt juristischem Schlupfloch.