# robots.txt for http://imve.informatik.uni-hamburg.de
User-agent: *
Disallow: