Continuing the saga of our network problem.
Juan and I have tested transferring between our computers. That worked very well, so we concluded that the problem must lie with the server.
I have now been able to find another user having problems with the network card we use (3Com Corporation 3cSOHO100-TX Hurricane). Don’t have the solution yet, but at least that looks like I’ve finally found the problem.