Schichtarbeiter im öffentlichen Dienst müssen sich für Feiertage, die in ihre Schicht fallen und die sie frei haben wollen, Urlaub nehmen.