# robots.txt for http://www.example.com/

USER AGENT: *

Disallow: /webEdition
Disallow: /google
Disallow: /css
Disallow: /404error.php
Disallow: /danke.php

USER AGENT: miragorobot
Disallow: /

User-agent: HeinrichderMiragoRobot
Disallow: /
 
User-agent: naughtyrobot
Disallow: /