tjensteman , den 1 Oktober.