(1) ¹Die regelmäßige Arbeitszeit beträgt im Durchschnitt wöchentlich 40 Stunden. ²Sie vermindert sich für gesetzlich anerkannte Wochenfeiertage um die darauf entfallende Zeit.

(2) Arbeitstage sind die Werktage mit Ausnahme der Sonnabende.

(3) ¹Der 24. und der 31. Dezember sind dienstfrei. ²Absatz 1 Satz 2 gilt entsprechend.