User-agent: *
Disallow: /static/en/gpg-key-info.php
Disallow: /static/de/gpg-key-info.php