# robots.txt for http://www.palace-muenchen.de

User-agent: *