Yes, I know, but thank you for the mention. The thing to look for is slow or fast response and maximum leakage current. In industrial settings those are used all the time for slow starting motors and other heavy consumers. The reason I didn't do it is because I only had to make a couple of welds and a triple breaker is 150,- euros or so, so I had to redo a bunch of welds and I didn't have to wait 24 hours to get it.
But if this was a regular thing then I would definitely replace the breaker.
But if this was a regular thing then I would definitely replace the breaker.