Observation of superconducting fluxons by transmission electron microscopy: A Fourier space approach to calculate the electron optical phase shifts and images