A liquid-helium-free superconducting electron cooler at the storage ring TARN II