tjenstemän med en aflöning as 3,000 kr.