# robots.txt for http://www.weimar-kunstfest.de/

User-agent: *