tjenstemän ; 8,000 kr.