Henny, PA3HK, had some used Hewlett Packard Power Supplies for sale. Yesterday I picked up one. It is a rather small unit (27 x 6 x 6 cm) and is capable of delivering 47 Amps (!) at 12 Vdc.
I made the small modifications to get it to work (3 jumpers installed and a 27 ohms resistor in the power supply of the fan) and now the unit runs fine.
I intend to use it for the 145 MHz transverter discussed earlier.