git-svn-id: svn://svn.cis.uni-muenchen.de/csl/trunk@332 f2d9b42b-cd0b-0410-95c1-856273910ab5