5. Dienstzeit der Reichsbeamten. [abgesetzt]