Commissioning the Magnet Safety System of the Cryogenic Pumping Section of KATRIN | IEEE Journals & Magazine | IEEE Xplore