EPSG:5712 — AHD (Tasmania) height

VERTCRS[
    "AHD (Tasmania) height",
    VDATUM["Australian Height Datum (Tasmania)",ID["EPSG",5112]],
    CS[vertical,1,ID["EPSG",6499]],
    AXIS["Gravity-related height (H)",up],
    LENGTHUNIT["metre",1,ID["EPSG",9001]],
    GEOIDMODEL["GDA94 to AHD (Tasmania) height (2)",ID["EPSG",5657]],
    ID["EPSG",5712]
]

+vunits=m +no_defs +type=crs

proj4.defs("EPSG:5712", "+vunits=m +no_defs +type=crs");

{
  "type": "CoordinateReferenceSystem",
  "code": 5712,
  "name": "AHD (Tasmania) height",
  "kind": "vertical",
  "area": "Australia - Tasmania mainland onshore",
  "unit": "metre",
  "bbox": [
    -43.7,
    144.55,
    -40.24,
    148.44
  ],
  "proj4": "+vunits=m +no_defs +type=crs"
}

INSERT INTO spatial_ref_sys (srid, auth_name, auth_srid, proj4text, srtext)
VALUES (5712, 'EPSG', 5712, '+vunits=m +no_defs +type=crs', 'VERT_CS["AHD (Tasmania) height",VERT_DATUM["Australian Height Datum (Tasmania)",2005,AUTHORITY["EPSG","5112"]],UNIT["metre",1,AUTHORITY["EPSG","9001"]],AXIS["Gravity-related height",UP],AUTHORITY["EPSG","5712"]]');

PROJECTION
  "+vunits=m"
  "+no_defs"
  "+type=crs"
END

5712=VERT_CS["AHD (Tasmania) height",VERT_DATUM["Australian Height Datum (Tasmania)",2005,AUTHORITY["EPSG","5112"]],UNIT["metre",1,AUTHORITY["EPSG","9001"]],AXIS["Gravity-related height",UP],AUTHORITY["EPSG","5712"]]