tjenstemännens pensionsfond och 14,028 kr.