# robots.txt 

User-agent: Mediapartners-Google*
Disallow:

User-agent: * 
Disallow: /cgi-bin/ 
Disallow: /cgi-local/ 
Disallow: */drucken.html
Disallow: */print.html 
Disallow: *mailto* 
Disallow: */*.pdf 
Disallow: */rss.html 
Disallow: */stat.php 
Disallow */lexikon-weiterleitungen/
Disallow */glossary-redirections/