Demagnetization of a Complete Superconducting Radiofrequency Cryomodule: Theory and Practice | IEEE Journals & Magazine | IEEE Xplore