3. A judge who ceased to hold office before the age of sixty and who would be entitled to a retirement pension when he or she reached that age may elect to receive a pension from any date after the date on which he or she ceases to hold office. Should he or she so elect, the amount of such pension shall be that amount which has the same value as the retirement pension which would have been paid to him or her at the age of sixty.
3. Судья, служба которого прекращается до достижения 60-летнего возраста и который имел бы право на пенсию при выходе в отставку по достижении этого возраста, может выбрать любую дату начала выплаты пенсии после выхода в отставку. В случае принятия судьей такого решения его или ее пенсия должна иметь ту же стоимость, что и пенсия, которую он или она получали бы при выходе в отставку в возрасте 60 лет.