Gedde's_maps_of_Copenhagen loading ...