Supply of the Electron Cyclotron RF Power Supply (EXPIRED)