Ja, das Verfahren wurde wegen fehlender Relevanz der Partei eingestellt. Das trifft auf die AfD nicht zu.

Ich glaube auch, dass du die Kraft eines Parteiverbots unterschätzt: Darunter fallen auch Nachfolgeparteien. Es wäre extrem schwer für Höcke in irgendeiner Weise wieder politisch aktiv zu werden. Es gibt in Deutschland nur zwei Parteien, die verboten wurden: Eine Nachfolgepartei der NSDAP und die KPD. Letztere saß zumindest in allen westdeutschen Landtagen. Was davon heute geblieben ist, sieht man ja.