A high-temperature superconducting compact Shanghai–Lanzhou electron beam ion trap for precision measurement of highly charged ions | Synapse