Broken H724 power supply from PDP-8/e