pensionsfonden , 5 kr.