§ 20
Allgemeines Dienstalter
1Das allgemeine Dienstalter eines Richters bestimmt sich nach dem Tag, an dem ihm sein Richteramt übertragen worden ist. 2Hat der Richter zuvor ein anderes Richteramt oder ein sonstiges Amt mit mindestens dem gleichen Anfangsgrundgehalt bekleidet, so bestimmt sich das allgemeine Dienstalter nach dem Tag der Übertragung dieses Amtes.