En Tjensteman nied 7,000 kr.