Superconducting magnets for the "International Accelerator Facility for Beams of Ions and Antiprotons" at GSI | IEEE Journals & Magazine | IEEE Xplore