c) hat der Richter sein Amt während einer vollen vierjährigen Amtszeit wahrgenommen und scheidet er nach dem 1. Januar 2000, jedoch vor dem 1. Januar 2001 aus dem Amt, beträgt das jährliche Ruhegehalt 31.000 Dollar;
(c) If the judge has served a full term of four years and ceases to hold office after 1 January 2000 but before 1 January 2001, the amount of the annual pension shall be 31,000 dollars;