by Franz Brugger.
Apparently the problem has simply disappeared over night. Unlike what I suspected to be the cause, it might have had something to do with the server configuration. It remains to be seen if this happens again though...