User-agent: *
Disallow: /web/
Disallow: /publication/
Disallow: /tools/page.cgi
User-agent: FDM
Disallow: /