Internet-Wahlsysteme mￜssen einer Vielzahl von Anforderungen genￜgen. Besonders drei Eigenschaften ￜ die ￜbereinstimmung von Stimmabgabe und Wￜhlerintension, die korrekte (und vertrauliche) Speicherung der Stimmabgabe und die fehlerfreie Auszￜhlung ￜ sollte fￜr ein Wahlsystem nachweisbar sein. Der vorliegende Beitrag stellt Ansￜtze zur Realisierung einer nachweisbaren ￜbereinstimmung von Stimmabgabe und Wￜhlerintension (Cast-as-intended-Verifizierbarkeit) vor und zeigt, wie das verbreitete Polyas-Internetwahlsystem um diese Eigenschaft erweitert werden kann.