diminish the amount of pension, gratuity or other allowance for which any such officer as is referred to in paragraph (a) would have been eligible under the Malayan Establishment ??Pensions Ordinance 1948 or the Minutes made thereunder had the Ordinance not been repealed and had the officer continued to serve on the Malayan Establishment; or