100 000 , pensionsfonden kr.