En ordinarie Tjensteman med 5000 kr.