I have a heightmap on disc, hold on.
For some reason DEMs of this region, 3m lidar dems, 5 and 10m satellite dems, etc, have all been removed from the internet. It doesn't event exist as heightmap data on Google Earth. It's loaded some other way, so if you use Atlas, it doesn't have the region, or even
Terrain.party.
I don't know why, and I can't find anything "legal" wise, so I will share it. Mine comes from lidar/satellite mix, and has some minor issues because I think some of the data has trees in it, while the others data didn't.