samt till tjenstemännens pensionsfond afsatts kr.