. . . "The coolant inlet port 35 is connected to a pump (not shown) which is operable to introduce a coolant, such for example as water, through the coolant supply pipe 34 for cooling the magnetr" .