Quick follow-up: I tried to repair the primary side of the PSU, and also tried to draw a schematic, but got stuck in the process. I swapped out two mosfets, but that didn't fix the problem. When I measured across the two filter caps behind the full bridge rectifier, no voltages at all. To desolder other components I had to desolder some large heatsinks.
Luckily the supply I ordered from Ebay arrived, and decided to go for plan B: Adjust the voltages rails so they PSU from Ebay puts out 15V instead of 12V. As it turns out, I only needed to swap some zener diodes, and one resistor. And the Tektronix PB200 is back to live :-)
So thank you all for helping!