git-svn-id: https://www4.cs.fau.de/i4svn/bib/trunk@479 87a2fb7a-48ee-0310-baf5-ecf7ac501224