With this kind of repair it is recommended to replace all wear-sensitive electronic components while you are at it. Think of bridge cell, both IGBTs, and the two high voltage diodes.

Components are available on AliExpress at extremely reasonable prices. However. There was some urgency for this repair, so I ordered only the IGBT from a Dutch webshop (MartoParts). I was pleasantly surprised by the low shipping costs and fast delivery time.

The picture shows the defective IGBT, no damage was visible to the naked eye.

The second picture shows the two high voltage diodes, circled in green,

and some waterproof marker markings, made by me, circled in red.