§ 20 Allgemeines DienstalterHat 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.