The power supply for the beam chopper magnets of a medical synchrotron