I bought another two power supplies PSU 251053-11 on eBay. One for EUR 13.99 + 8.89. The second for EUR 16.60 + 13.00. The first one has already arrived. And I installed the already existing replacement board rev. 0.4.0. I have the PCB for the second one already, but the components have to be ordered first.