Thanks holmboe! I think we got exactly the same issue. But is there a chance that the svn hosting used to be correct, and broke by any of the recent versions?