Lost manuals uncovered in Prague explain the operation and encryption system of a mysterious Nazi machine used during World War II.