# robots.txt for http://www.industrie.de

User-agent: *
Disallow: /stats/
Disallow: /ps/
Disallow: /cgi-bin/
Disallow: /xml_export/