EPSG:9507

COMPD_CS["ETRS89-ESP [REGENTE] + Ibiza height",
    GEOGCS["ETRS89-ESP [REGENTE]",
        DATUM["ETRS89-ESP_REGENTE",
            SPHEROID["GRS 1980",6378137,298.257222101,
                AUTHORITY["EPSG","7019"]],
            AUTHORITY["EPSG","1441"]],
        PRIMEM["Greenwich",0,
            AUTHORITY["EPSG","8901"]],
        UNIT["degree",0.0174532925199433,
            AUTHORITY["EPSG","9122"]],
        AUTHORITY["EPSG","11134"]],
    VERT_CS["Ibiza height",
        VERT_DATUM["Ibiza",2005,
            AUTHORITY["EPSG","1277"]],
        UNIT["metre",1,
            AUTHORITY["EPSG","9001"]],
        AXIS["Gravity-related height",UP],
        AUTHORITY["EPSG","9394"]],
    AUTHORITY["EPSG","9507"]]

COMPOUNDCRS["ETRS89-ESP [REGENTE] + Ibiza height",
    GEOGCRS["ETRS89-ESP [REGENTE]",
        DATUM["ETRS89-ESP [REGENTE]",
            ELLIPSOID["GRS 1980",6378137,298.257222101,
                LENGTHUNIT["metre",1]],
            ANCHOREPOCH[1995.4]],
        PRIMEM["Greenwich",0,
            ANGLEUNIT["degree",0.0174532925199433]],
        CS[ellipsoidal,2],
            AXIS["geodetic latitude (Lat)",north,
                ORDER[1],
                ANGLEUNIT["degree",0.0174532925199433]],
            AXIS["geodetic longitude (Lon)",east,
                ORDER[2],
                ANGLEUNIT["degree",0.0174532925199433]]],
    VERTCRS["Ibiza height",
        VDATUM["Ibiza"],
        CS[vertical,1],
            AXIS["gravity-related height (H)",up,
                LENGTHUNIT["metre",1]]],
    USAGE[
        SCOPE["Spatial referencing."],
        AREA["Spain - Balearic Islands - Ibiza - onshore."],
        BBOX[38.77,1.12,39.17,1.68]],
    ID["EPSG",9507]]

GEOGCS["GCS_ETRS_1989",
    DATUM["D_ETRS_1989",
        SPHEROID["GRS_1980",6378137.0,298.257222101]],
    PRIMEM["Greenwich",0.0],
    UNIT["Degree",0.0174532925199433]],
VERTCS["Ibiza_height",
    VDATUM["Ibiza"],
    PARAMETER["Vertical_Shift",0.0],
    PARAMETER["Direction",1.0],
    UNIT["Meter",1.0]]

proj4.defs("EPSG:9507","+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs");

{
    "$schema": "https://proj.org/schemas/v0.7/projjson.schema.json",
    "type": "CompoundCRS",
    "name": "ETRS89-ESP [REGENTE] + Ibiza height",
    "components": [
        {
            "type": "GeographicCRS",
            "name": "ETRS89-ESP [REGENTE]",
            "datum": {
                "type": "GeodeticReferenceFrame",
                "name": "ETRS89-ESP [REGENTE]",
                "anchor_epoch": 1995.4,
                "ellipsoid": {
                    "name": "GRS 1980",
                    "semi_major_axis": 6378137,
                    "inverse_flattening": 298.257222101
                }
            },
            "coordinate_system": {
                "subtype": "ellipsoidal",
                "axis": [
                    {
                        "name": "Geodetic latitude",
                        "abbreviation": "Lat",
                        "direction": "north",
                        "unit": "degree"
                    },
                    {
                        "name": "Geodetic longitude",
                        "abbreviation": "Lon",
                        "direction": "east",
                        "unit": "degree"
                    }
                ]
            },
            "remarks": "Horizontal component of national realization of ETRS89 in Spain. For GNSS CORS services, replaced by ETRS89-ESP [ERGNSS] (code 11128) from 2018-03-25. For most purposes the offset of approximately 2cm is considered insignificant."
        },
        {
            "type": "VerticalCRS",
            "name": "Ibiza height",
            "datum": {
                "type": "VerticalReferenceFrame",
                "name": "Ibiza"
            },
            "coordinate_system": {
                "subtype": "vertical",
                "axis": [
                    {
                        "name": "Gravity-related height",
                        "abbreviation": "H",
                        "direction": "up",
                        "unit": "metre"
                    }
                ]
            }
        }
    ],
    "scope": "Spatial referencing.",
    "area": "Spain - Balearic Islands - Ibiza - onshore.",
    "bbox": {
        "south_latitude": 38.77,
        "west_longitude": 1.12,
        "north_latitude": 39.17,
        "east_longitude": 1.68
    },
    "id": {
        "authority": "EPSG",
        "code": 9507
    }
}

<?xml version="1.0" encoding="utf-8"?>
<Map srs="+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs">
	<Layer srs="+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs">
	</Layer>
</Map>

INSERT into spatial_ref_sys (srid, auth_name, auth_srid, proj4text, srtext) values ( 9507, 'EPSG', 9507, '+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs', 'COMPD_CS["ETRS89-ESP [REGENTE] + Ibiza height",GEOGCS["ETRS89-ESP [REGENTE]",DATUM["ETRS89-ESP_REGENTE",SPHEROID["GRS 1980",6378137,298.257222101,AUTHORITY["EPSG","7019"]],AUTHORITY["EPSG","1441"]],PRIMEM["Greenwich",0,AUTHORITY["EPSG","8901"]],UNIT["degree",0.0174532925199433,AUTHORITY["EPSG","9122"]],AUTHORITY["EPSG","11134"]],VERT_CS["Ibiza height",VERT_DATUM["Ibiza",2005,AUTHORITY["EPSG","1277"]],UNIT["metre",1,AUTHORITY["EPSG","9001"]],AXIS["Gravity-related height",UP],AUTHORITY["EPSG","9394"]],AUTHORITY["EPSG","9507"]]');