SVN repositories available on svn.tudos.org