The superconducting extraction magnet system EMC2 for the AGOR cyclotron | IEEE Journals & Magazine | IEEE Xplore