Hi Olaf,
this:
'2019-10-17 20:34:32 (1.01 MB/s) - ‘A3C4F0F979CAA22CDBA8F512EE8CBC9E886DDD89.asc’ saved [19665/19665]
looks like output from wget rather than curl. Is there some weird configuration calling wget instead of curl on your system? What do "alias curl" or "which curl" say?
If I run "curl THE_KEY_URL" locally, I see the key file in my terminal, but when I run "wget THE_KEY_URL", I see the message you're seeing.
Kind regards, Alexander