pensionsfonden , 7,087 kr.