A variable-voltage, variable-frequency HT supply for the electrochemical etching of plastic detectors