Praxis mit GnuPG Schlüsselverwaltung: Wichtige Optionen für die Schlüsselverwaltung: keyserver können in $HOME/.gnupg/gpg.conf eingetragen werden