tjensteman , som har 3.000 kr.