samma tid utgjorde tjenstemännens pensionsfond kr.