arsattes till tjenstemännens pensionsfond 5 000 kr.