En Tjensteman nied 7.000 kr.