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"]]