(1) Die regelmäßige Arbeitszeit der Beamten wird vom Senat durch Rechtsverordnung nach Maßgabe der Sätze 2 und 3 geregelt. Sie darf wöchentlich im Durchschnitt vierzig Stunden nicht überschreiten. Soweit der Dienst in Bereitschaft besteht, kann die regelmäßige Arbeitszeit entsprechend den dienstlichen Bedürfnissen angemessen verlängert werden; sie darf wöchentlich im Durchschnitt fünfzig Stunden nicht überschreiten. Im Rahmen der durch Rechtsverordnung nach Satz 1 allgemein festgelegten Arbeitszeit kann der Senat Regelungen zur Arbeitszeit der beamteten Lehrkräfte, insbesondere zum zeitlichen Maß der Unterrichtsverpflichtung und anderer Aufgaben durch Rechtsverordnung erlassen.

(2) Der Beamte ist verpflichtet, ohne Entschädigung über die regelmäßige Arbeitszeit hinaus Dienst zu tun, wenn zwingende dienstliche Verhältnisse es erfordern und sich die Mehrarbeit auf Ausnahmefälle beschränkt. Wird er durch eine dienstlich angeordnete oder genehmigte Mehrarbeit mehr als fünf Stunden im Monat über die regelmäßige Arbeitszeit hinaus beansprucht, ist ihm innerhalb eines Jahres für die über die regelmäßige Arbeitszeit hinaus geleistete Mehrarbeit entsprechende Dienstbefreiung zu gewähren.

(3) Ist die Dienstbefreiung aus zwingenden dienstlichen Gründen nicht möglich, können an ihrer Stelle Beamte in Besoldungsgruppen mit aufsteigenden Gehältern für einen Zeitraum bis zu 480 Stunden im Jahr Mehrarbeitsvergütung erhalten. Die Gewährung der Mehrarbeitsvergütung ist in § 48 des Bundesbesoldungsgesetzes geregelt.