En embetsman med cirka 5,000 kr.