Stav dette: Theory of momentum-resolved phonon spectroscopy in the electron microscope