User-agent: *
Disallow: /showroom/advent/kalender.cgi?
Disallow: /showroom/astro/HTMLLinks
Disallow: /showroom/pubs/MathProg/updates
Disallow: /aux/haddr.pl
Disallow: /aux/bait
Disallow: /lists/