For the record: the site was terrain.party, and the dodgy government site with the satellite images had the wrong file format. I never did get those heightmaps.
