VERT_CS["HAT height",
    VERT_DATUM["Highest Astronomic Tide",2005,
        AUTHORITY["EPSG","1082"]],
    UNIT["metre",1,
        AUTHORITY["EPSG","9001"]],
    AXIS["Up",UP],
    AUTHORITY["EPSG","5872"]]