Bei AfD-Parteiverbot: Alle Mandate weg! RRG mit Mehrheit

Was passiert eigentlich, bei einem Parteiverbot der AfD? Alle AfD-Abgeordneten müssten ihre sieben Sachen packen und Rot-Rot-Grün hätte eine Mehrheit.