Design Optimization, Series Production, and Testing of the SIS100 Superconducting Magnets for FAIR | IEEE Journals & Magazine | IEEE Xplore