af en årlig pension af 4,000 kr. , och 12.