embetsmän ej skulle vara berättigade till pension med mindreän