# robots.txt fuer johannes.emerich.de
User-agent: *
Disallow: /tmp/
Disallow: /xtrn/