Introduction to the Tektronix PS280 DC Power Supply