# robots.txt for dtju.de
User-agent: *
Disallow: /shared/
Disallow: /user/
Disallow: /jup/