tjenstgöring skulle vara berättigad till en pension af 8,000 kr.