Bev. til tjenestemannsretten, kap. 807, bsj.innst. S. nr. 127, S.tid. 732. [Tjenestemannsretten er fra 1. mai 1936 (kgl. res. 30. april 1936) ført over fra Justisdept. til Finansdept.]