# robots for ist-dresden.de
User-Agent: *
Disallow: /download/
Disallow: /archive/
Disallow: /informal/
Disallow: /login/