User-agent: * 
Disallow: /redirect.php
Disallow: /ajax/
Disallow: /login.php
Disallow: /logout.php
Disallow: /passwort_vergessen.php

User-agent: holmes
Disallow: /

User-agent: infometrics-bot
Disallow: /