b) Funktionale Gesichtspunkte Dem Milizkader muss aber auch in funktionsbezogener Hinsicht ein angemessenes Gewicht zukommen. Der professionelle Anteil der Armee darf sich aber nicht systemprägend auswirken. Eine Truppe, die lediglich zahlenmässig überwiegend durch Milizangehörige besetzt ist, deren prägende Funktionen der militärstrategischen und operativen Führung (wie bereits heute) und insbesondere auch der taktischen Führung sowie der Führung einzelner Truppeneinheiten indessen überwiegend oder massgeblich durch militärisches Personal ausgeübt werden, lässt sich nicht mehr als eine nach dem bestehenden Grundsatz der Miliz organisierte Armee qualifizieren.