got rid of MAXIMUM_HEIGHT_TOPO and MAXIMUM_DEPTH_BATHY, which had become...

... useless