# robots.txt for http://www.internetredaktion.de/
# file created: 06.03.2010
User-agent: *
# Disallow: /cgi-bin/	# exclude robots from specified tree