A 15-T ReBCO Insert for a 30-T All Superconducting Magnet | IEEE Journals & Magazine | IEEE Xplore