User-agent: *
Disallow: /server/
Disallow: /science/student/mpis/
Disallow: /statistics/