Yes, PSU is earthed and to answer a previous comment, no mistake , it was the RCD (80A, 30mA) that tripped.
Since it is a very new 3D printer, I doubt that it is failing capacitors.
It only happened that one time, that is the strange/interesting thing.