pensionsfond ; 4,000 kr.