# robots.txt for http://www.domain-publisher.de/
# file created: 07.05.04
User-agent: *
Disallow:/cgitools/	# exclude robots from specified tree
Disallow:/1/	# exclude robots from specified tree
Disallow:/lizenzen/	# exclude robots from specified tree
Disallow:/lizenzen/	# exclude robots from specified tree
Disallow:/sitemapgenerator
Disallow:sitemap__old
Disallow:/preissuchmaschine
Disallow:/google_maps
Disallow:/k_flash