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) Si el magistrado ha desempeñado el cargo durante un período completo de cuatro años y ha cesado en sus funciones después del 1° de enero de 2000 pero antes del 1° de enero de 2001, la cuantía de la pensión anual será 31.000 dólares;