extra , ordinarie tjenstemän 1 000 kr.