Title: Quantum theory of charged-particle beam optics