User-Agent: *
Disallow: /httpdocs/themes/
Disallow: /httpsdocs/
Disallow: /cgi-bin/
Disallow: /httpdocs/m5fkgn1HHi/
Disallow: /httpdocs/webstat/
Allow: /