# robots.txt for http://www.grapi.de/