to import the pubkey to your keyring: gpg --locate-keys phil@grmr.de
steps to upload a new key:
# find out hash gpg --with-wks-hash --finger phil@grmr.de # export key with correct name gpg --no-armor --export phil@grmr.de > .../openpgpkey.grmr.de/.well-known/openpgpkey/grmr.de/hu/7nrpfxmxnxhn3k1twp6y8wbwa7zscg7d