For a moment, by the way, I was thinking about whether davfs (as shipped with Debian) could be the culprit; but the problem appears also when I am trying to access the file through the webdav URL with a webbrowser. Maybe it's a problem with the webdav implementation on the server side.