User-agent: *
Disallow: /_private/
Disallow: /images/
Disallow: /cgi-bin/
Disallow: /inst/
Disallow: /list.php
Disallow: /dates_de.php
Disallow: /dates_en.php
Disallow: /dates_f.php
Disallow: /scroll.html
Disallow: /javascript.html
Disallow: /800/dates_de.php
Disallow: /800/dates_en.php
Disallow: /800/dates_f.php
Disallow: /800/scroll.html
Disallow: /800/javascript.html