Flux Pump for HTS Magnets