9.—(1) An eligible person who has been granted a credited period under regulation 8 is entitled to receive compensation in the form of a lump sum in accordance with this regulation.
(2) If—
(a)he is entitled, on ceasing to hold his former employment, to a retirement grant by virtue of regulation D6 of the LGPS Regulations in a case where one of the conditions in paragraph (2) of that regulation is satisfied (early retirement on redundancy, or in the interests of efficiency or on the cessation of a joint appointment); or
(b)but for a relevant disqualification, he would be so entitled on the relevant assumptions and on the further assumption that, if the employing authority might have certified under regulation D6(2)(a) of those Regulations, they have done so,
he is entitled to receive lump sum compensation of an amount equal to the amount by which that retirement grant would be increased on the relevant assumptions and in accordance with those Regulations if the total period of his membership were increased by the credited period.