Making a 1,000-tonne electromagnet