pensionsfonden till 71,521 kr.