Till pensionsfonden afsattes kr.