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