Så hade en framstående tjensteman,