En- tjensteman af hemligapolisen