User-agent: *
Disallow: /cgi/

Sitemap: https://hirzebruch.mpim-bonn.mpg.de/sitemap.xml