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