The Contributions of Otto Scherzer (1909–1982) to the Development of the Electron Microscope