tjenstemännens pensionsfond och 8,500 kr.