En embetsman med 4 000 kr.