# robots.txt für http://svsdb.informatik.uni-mainz.de

User-agent: *
Disallow: /manual/