Well, I made some more measurements.
The IRFPE40 shows the following voltages:
VDS=312V (max. 800V)
VGS=0 (?????)

What's the IRFPE40 function ?
Looking at the PCB it seems that the 3844 supply voltage comes from it...