SVN errors

[Thomas Bruederli]

Hi everybody,

For all who experienced problems with the SVN repository, just note
that those problems are fixed and you can checkout as usual.

Thanks for your patience!
Thomas