HI ambitionen! 

No, we've applied a temporary fix, so an upgrade to PHP 7.3.1 doesn't relate to this problem (). Please continue to check your site properly.

So @Ralf - please "downgrade" if possible too.