# robots.txt for http://witze.pirco.de