Now the defective IGBT had to be removed, but the transformer on the PCB blocked handling a screwdriver. The transformer was soldered at several points, it seemed rather laborious to disassemble it.

So I went for the more convenient solution: I nibbled off some of the plastic of the transformer with pliers, after which I could just reach the screw of the IGBT with a small flathead screwdriver.

In the green circle the defective component, and the partially nibbled away plastic.

In the blue "circle" the microcontroller board, which controls the other electronics on the board.

The second picture shows a close-up of the result of this questionable practice.