User-agent: *           # directed to all spiders
Disallow: /cgi-bin/
Disallow: /Stats/
Disallow: /images/
Disallow: /Pics/
Disallow: /~binf/*/Aufgaben/
Disallow: /~binf/*/aufgaben/
Disallow: /~binf/*/Uebung/
Disallow: /~binf/*/uebung/
Disallow: /~sq/*/aufgaben/
Disallow: /~sq/*/uebung/
Disallow: /~swe/*/aufgaben/
Disallow: /~swe/*/uebung/
Disallow: /~ainf/*/Foto/
Disallow: /~ainf/*/Tutoren/