/1235/17. Arbeitszeit der Beamten. [abgesetzt]