git-svn-id: https://www2.in.tum.de/repos/ttt/trunk@54 0463f305-d864-43cb-8a47-61cf597d4139