# robots.txt file from http://www.restaurant-im-zehntstadel.de

User-agent: *
Disallow: /html/