tjenstemän assättas 5,000 kr.