# Massendownloader vom CGI Verzeichnis fernhalten User-agent: wget User-agent: webzip User-agent: webmirror User-agent: webcopy Disallow: / User-agent: * Disallow: /marlis3 Disallow: /schulman Disallow: /portal Disallow: /wv50 Disallow: /webupdate Disallow: /shortlinks Disallow: /__mainseotest Disallow: /*.xml