afsattes till tjenstemännens pensionsfond 5,000 kr.