# /robots.txt for www.realriot.de
User-agent: *
Disallow: /mirror