är tjensteman i ett embetsverk,