Die regelmäßige Arbeitszeit regelt der Senat durch Rechtsverordnung.
Die regelmäßige Arbeitszeit kann entsprechend den dienstlichen Bedürfnissen verlängert werden, wenn sie ganz oder teilweise in Bereitschaftsdienst besteht.