User-agent: *
Disallow:
Sitemap: https://www.michael-gippert.de/sitemap.xml