Den Schlüssel auf einen Schlüsselserver zu legen ist optional. Man kann nicht davon ausgehen,

dass jede Adresse/Schlüssel dort veröffentlicht wird.

Gruß
Schlaefer