Aus dem Vorstehenden ergibt sich, dass die Beurteilung der Verhältnismässigkeit davon abhängt, wie die vorzeitige Stilllegung bestehender KKW im Einzelnen reglementiert würde. Eine abschliessende Beuteilung wird deshalb erst auf der Grundlage eines konkreten Gesetzesvorschlags möglich sein.