en årlig pension af 4,000 kr.