# Alle Bots
User-agent: *
Disallow: /lehre/