sedan konstaterats , att det olyckliga offret var en till hemliga polisen hörande gendarmerikapten.