# robots.txt zu http://video.wtv-stuttgart.de/ 

User-agent: *
Disallow: /tool/