CRT degaussing coil (was Re: PDP-11/35 power supply woes)