and if he so relinquishes his office, his claim to any pension, gratuity or other like allowance shall not thereby be prejudiced. (2) For the purposes of this Article, other public service has the meaning given to it by the Pensions Act (Cap. 225) as in force immediately before 15th September 1963.