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