Development of a 5 T HTS insert magnet as part of 25 T class magnets | IEEE Journals & Magazine | IEEE Xplore