#robots.txt for www3.elfi.rub.de
User-agent: *
Disallow: /