En af dess tjenstemän,