Design, manufacturing and tests of an all-HTS 20 T magnet | IEEE Journals & Magazine | IEEE Xplore