tjänstemännens pensionsfond och kr.