User-agent: *
Disallow: /private/
Disallow: /stats/

User-agent: wget
User-agent: webzip
User-agent: webmirror
User-agent: Dino
User-agent: Suchknecht
User-agent: Austro-Naut
User-agent: Googlebot
User-agent: Microsooft
User-agent: webcopy
Disallow: /de/
Disallow: /en/