Magnetic and Cryogenic Design of the KATRIN WGTS Superconducting Magnet | IEEE Journals & Magazine | IEEE Xplore