COMPLETE: subversion repo reloaded

[Nikolaus S. <mic...@we...>]

Hi, 

the subversion import is now complete and the repo should be fully
functional again. 

Thanks,
Nikolaus