en tjensteman med 1,500 kr.