The electromagnetic isotope separator in copenhagen