Nachzählbar.

Kurzfassung

Auszählen auf eigenen Rechnern, keine Mietdienste: deterministisch, ohne Netz, mit Beweiskette.

Zählen ist schwer: Doppelzählung, Übertragungsfehler, Ermüdung nach dem dreihundertsten Zettel. Eine Maschine zählt ohne Ermüdung, und genau deshalb muss sie sich prüfen lassen, von jedem, ohne Fachwissen.

1. Das Schaumodell: zählen Sie selbst

   Ein Stimmzettel entsteht, wird angekreuzt, gelesen, ausgezählt, und der Bericht zeigt jeden Schritt. Das Schaumodell läuft vollständig in Ihrem Browser, sendet nichts an einen Server und rechnet dieselben Entscheidungsregeln nach wie die echte Zählmaschine. Es ist ausdrücklich keine amtliche Auszählung, sondern die Anschauung dafür, wie eine nachprüfbare Auszählung funktioniert.

   Zum Schaumodell

2. Determinismus und Beweiskette

   Derselbe Stapel ergibt immer dasselbe Ergebnis, auf Wunsch zehnmal hintereinander. Jede Datei trägt eine Prüfsumme, jeder Schritt einen Eintrag im Protokoll, und die Zählmaschine arbeitet ohne Netzverbindung. Die Maschine dahinter ist extern begutachtet und im Pilot bei einer echten Wahl gelaufen; Auftraggeber werden nicht genannt, die Reihe ist parteineutral.

3. Der Mensch entscheidet

   Ob ein Kreuz gilt, entscheidet am Ende ein Mensch, nicht das Modell: Unklare Zettel gehen an den Wahlvorstand, mit Bild und Begründung. Die Maschine nimmt die Ermüdung, nicht die Verantwortung. Am Abend selbst wählt der Saal auf Zetteln das Thema des nächsten Abends, die Maschine zählt aus, und jeder darf nachrechnen.

Ahnenreihe

Von den Wahlcomputern zum Urteil, und von dort zu dieser Auszählung.

2006 nahmen Mitglieder des Chaos Computer Clubs die damals eingesetzten Wahlcomputer auseinander und zeigten, dass niemand im Wahllokal prüfen konnte, was die Geräte zählten. 2009 entschied das Bundesverfassungsgericht (Urteil vom 3. März 2009, 2 BvC 3/07 und 2 BvC 4/07): Der Grundsatz der Öffentlichkeit der Wahl verlangt, dass die wesentlichen Schritte der Wahlhandlung und der Ergebnisermittlung vom Bürger zuverlässig und ohne besondere Sachkenntnis überprüft werden können. Die Wahlcomputer verschwanden.

Dieser Maßstab ist die Ahnenreihe des Abends. Er bedeutet nicht, dass Maschinen beim Zählen nichts zu suchen haben; er bedeutet, dass eine Maschine nur dann zählen darf, wenn der Papierstimmzettel bleibt, jeder Schritt nachvollziehbar ist und ein Mensch das Ergebnis jederzeit von Hand prüfen kann. Genau so ist die Auszählung gebaut, von der dieser Abend handelt: Papier bleibt, Maschine zählt, Mensch entscheidet, alles nachzählbar.

Keine Rechtsberatung; das Urteil ist öffentlich und in der Sammlung des Gerichts nachlesbar (BVerfGE 123, 39).