f) war ein Richter weniger als eine volle vierjährige Amtszeit im Amt, ist die Höhe des Ruhegehalts gleich dem Anteil an dem jährlichen Ruhegehalt, der dem Verhältnis der Zahl der Monate der von ihm abgeleisteten Amtszeit zu der Zahl Achtundvierzig entspricht;
(f) If a judge served for less than a full term of four years, the amount of the pension shall be that proportion of the annual pension which the number of months of his or her actual service bears to forty-eight;