Measuring with a multimeter in the 'diode' mode revealed that the left IGBT (the GT60N321) had indeed yielded its spirit: there was little resistance between collector and emitter.

To be sure that this was not a side effect of the surrounding electronics, I desoldered the IGBT pins from the PCB using a desoldering pump, and then measured again. The IGBT was indeed found to be defective.