I pumped it to full power and pulled the trigger. It gave some resistance and then...nothing.
The gun was stuck pressurized. As I read in the guides this means opening up the gun. This was no small task. Everything opens up fine except for the orange nozzle (selector) cap at the front which was glued. Not even with a screwdriver I could get it loose, since the glue appears to be stronger than the plastic. So, the only way to open it was by brute force. This damaged the orange nozzle cap but I think technically everything is fine. When the gun was open the still pressured PC separated a bit to release the pressure.
With the gun finally opened I found the problem: the plastic part that transfers the force from the trigger to the firing valve was broken.

The plastic is broken at the red circle. The metal piece was broken loose.
I'll make some photo's later. I glued the broken plastic back with epoxy yesterday and I'll (try to) reassemble the gun today. I hope it works.
I have good hopes to get the gun back to work. To be continued.