It's working now (y)
ok, now I finally have someone who was able to confirm the fix actually works! :-)
They run an ancient version of php :'(.
That, indeed, is the problem here. There are severe security risks & performance issues with PHP 5.2, so maybe it's time to move to a more modern hoster? ;-)
frank