FYI, to make sure it is not a problem on my side, I got a new svnsyc'ed copy of
the full repository and tried this again.
It failed with exactly the same problem.