Bombe code-cracking decryption machine, Bletchley Park, England