Schon klar, ich brauche den Schlüssel des Empfängers

» Wenn du eine Mail verschlüsselt senden willst, benötigst du den
» öffentlichen Schlüssel für den Empfänger.

Aber ich gehe doch davon aus dass sich GPG Tools den Schlüssel selbständig vom Schlüsselserver holt. Das ist doch die Bequemlichkeit, die ich von diesem Tool erwarte. Wenn kein öffentlicher Schlüssel hinterlegt ist, findet GPG Tools nix und zeigt mir das an, was im Screenshot zu sehen ist.

Oder liege ich da komplett falsch?