# robots.txt zu http://www.mauer.de/

User-agent: *
Disallow: /statistik/
Disallow: /tmp/
allow: /index.html