This seems to have been a mirror problem. The mirror is unavailable and the installation has now proceeded successfully.
However, since a problem with one mirror causes more problems with the others, I wonder whether this bug should stay open?
Comments, please.
I'm going to update the bug now accordingly, but will leave it open for now.