# /robots.txt for www.bruker.de
#
User-agent: *
Disallow: /cgi-bin
Disallow: /guide
Disallow: /gui