a) hat der Richter sein Amt während einer vollen vierjährigen Amtszeit wahrgenommen und scheidet er nach dem 1. Januar 2001 aus dem Amt, entspricht die Höhe des jährlichen Ruhegehalts zwei Neunteln seines Jahresgehalts;
(a) If the judge has served a full term of four years and ceases to hold office after 1 January 2001, the amount of the annual pension shall be two ninths of the annual salary;