Wow, so much going on here... managed to catch up though.
Ok, while I was just reading and reading and reading I received a neat little power supply I got cheaply because it was equipped with a US power plug and wired for 115V.
No problem with that as the service manual shows how to configure it for 230V.
The voltage fine adjustment knob has a missing piece but that's not a big deal.
I rewired the little guy for 230V, swapped the US power cord with a CEE 7/4 ("Schuko") -plug cord.
After that I performed a quick test and checked the electrolytic caps. -They were all better than their spec.
As a result the little supply worked fine.
But the meter needed adjustment.
After calibrating I was able to set the voltage and current to x.0 without external help (e.g. the dvm I used for checking). Very impressing.
The plus and minus terminals had to go and I replaced them with some modern HP-look-alikes I bought years ago.
The original terminals had to go:They don't hold the plugs of my lab cables because they're not deep enough.
Interestingly the ground terminal was of another, more modern type.
After all I'm quite pleased with this little power supply.
And for TEA I ordered a Siglent 1104X-E today because I need a digital scope to take with me at meetings where I would have a bad feeling leaving my Agilent DSO-X 3034A alone..