Dr. Hok writes "The German Federal Constitutional Court ruled today (German, babelfish translation here) that the use of voting machines in the previous federal election was against the constitution. Voting machines are not illegal per se, but with these machines it wasn't possible to verify the results after the votes were cast. The verification procedure by the German authorities was flawed, too: only specimens were tested, not the machines actually used in the elections, and the detailed results (including the source code) were not made public. The results of the election remain legally valid, though. The ruling is here (in German)."