Status of the Magnets of the Two Tritium Pumping Sections for KATRIN | IEEE Journals & Magazine | IEEE Xplore