User-agent: wget
User-agent: Wget/1.9
User-agent: webzip
User-agent: webmirror
User-agent: webcopy


User-agent: *
Disallow: /dgssearch/ 
Disallow: /medien/
Disallow: /cgi-bin/