Simulation of an Enigma machine built at sc2012