The original design called for high-temperature superconducting magnets, such as so-called ReBCO tapes, and CERN is looking ...