A high-temperature superconducting double-pancake insert for an NMR magnet | IEEE Journals & Magazine | IEEE Xplore