[rwth-security] Re: BSI zertifiziert GPG für den Dienstgebrauch