Even the Russians started using typewritters on sensitive stuff. Even they know complicated computers aren't the solution. Then, the German folks have it all figured out: just use complicated computers with extra complications. Hand-checked, scan sheets are better route so far.

Interestingly, Germany has at least three, security-focused microkernels, two defense contractors making high-security devices (eg TEMPEST) that I know of, and maybe one fab. Funny how little they're utilizing this German talent for protecting German votes.