Electron Diffraction in the Electron Microscope