# robots.txt for http://www.hantzsch.net/

User-agent: *
Disallow: