afsattes till tjenstemännens pensionsfond ;samt