(7)Absatz 7,Die Mitglieder der Verwaltungsgerichte und des Verwaltungsgerichtshofes sind Richter. Art. 87 Abs. 1 und 2 und Art. 88 Abs. 1 und 2 sind mit der Maßgabe sinngemäß anzuwenden, dass die Altersgrenze, mit deren Erreichung die Mitglieder der Verwaltungsgerichte der Länder in den dauernden Ruhestand treten oder ihr Dienstverhältnis endet, durch Landesgesetz bestimmt wird.Die Mitglieder der Verwaltungsgerichte und des Verwaltungsgerichtshofes sind Richter. Artikel 87, Absatz eins und 2 und Artikel 88, Absatz eins und 2 sind mit der Maßgabe sinngemäß anzuwenden, dass die Altersgrenze, mit deren Erreichung die Mitglieder der Verwaltungsgerichte der Länder in den dauernden Ruhestand treten oder ihr Dienstverhältnis endet, durch Landesgesetz bestimmt wird.