för en tjensteman ,som