att till tjenstemännens pensionsfond afsättas kr.