EPSG:9515

COMPD_CS["REGCAN95 + Lanzarote height",
    GEOGCS["REGCAN95",
        DATUM["Red_Geodesica_de_Canarias_1995",
            SPHEROID["GRS 1980",6378137,298.257222101,
                AUTHORITY["EPSG","7019"]],
            AUTHORITY["EPSG","1035"]],
        PRIMEM["Greenwich",0,
            AUTHORITY["EPSG","8901"]],
        UNIT["degree",0.0174532925199433,
            AUTHORITY["EPSG","9122"]],
        AUTHORITY["EPSG","4081"]],
    VERT_CS["Lanzarote height",
        VERT_DATUM["Lanzarote",2005,
            AUTHORITY["EPSG","1278"]],
        UNIT["metre",1,
            AUTHORITY["EPSG","9001"]],
        AXIS["Gravity-related height",UP],
        AUTHORITY["EPSG","9395"]],
    AUTHORITY["EPSG","9515"]]

COMPOUNDCRS["REGCAN95 + Lanzarote height",
    GEOGCRS["REGCAN95",
        DATUM["Red Geodesica de Canarias 1995",
            ELLIPSOID["GRS 1980",6378137,298.257222101,
                LENGTHUNIT["metre",1]]],
        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["Lanzarote height",
        VDATUM["Lanzarote"],
        CS[vertical,1],
            AXIS["gravity-related height (H)",up,
                LENGTHUNIT["metre",1]]],
    USAGE[
        SCOPE["Spatial referencing."],
        AREA["Spain - Canary Islands - Lanzarote onshore."],
        BBOX[28.78,-13.95,29.47,-13.37]],
    ID["EPSG",9515]]

GEOGCS["GCS_REGCAN95",
    DATUM["D_Red_Geodesica_de_Canarias_1995",
        SPHEROID["GRS_1980",6378137.0,298.257222101]],
    PRIMEM["Greenwich",0.0],
    UNIT["Degree",0.0174532925199433]],
VERTCS["Lanzarote_height",
    VDATUM["Lanzarote"],
    PARAMETER["Vertical_Shift",0.0],
    PARAMETER["Direction",1.0],
    UNIT["Meter",1.0]]

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

{
    "$schema": "https://proj.org/schemas/v0.7/projjson.schema.json",
    "type": "CompoundCRS",
    "name": "REGCAN95 + Lanzarote height",
    "components": [
        {
            "type": "GeographicCRS",
            "name": "REGCAN95",
            "datum": {
                "type": "GeodeticReferenceFrame",
                "name": "Red Geodesica de Canarias 1995",
                "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"
                    }
                ]
            }
        },
        {
            "type": "VerticalCRS",
            "name": "Lanzarote height",
            "datum": {
                "type": "VerticalReferenceFrame",
                "name": "Lanzarote"
            },
            "coordinate_system": {
                "subtype": "vertical",
                "axis": [
                    {
                        "name": "Gravity-related height",
                        "abbreviation": "H",
                        "direction": "up",
                        "unit": "metre"
                    }
                ]
            }
        }
    ],
    "scope": "Spatial referencing.",
    "area": "Spain - Canary Islands - Lanzarote onshore.",
    "bbox": {
        "south_latitude": 28.78,
        "west_longitude": -13.95,
        "north_latitude": 29.47,
        "east_longitude": -13.37
    },
    "id": {
        "authority": "EPSG",
        "code": 9515
    }
}

<?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 ( 9515, 'EPSG', 9515, '+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs', 'COMPD_CS["REGCAN95 + Lanzarote height",GEOGCS["REGCAN95",DATUM["Red_Geodesica_de_Canarias_1995",SPHEROID["GRS 1980",6378137,298.257222101,AUTHORITY["EPSG","7019"]],AUTHORITY["EPSG","1035"]],PRIMEM["Greenwich",0,AUTHORITY["EPSG","8901"]],UNIT["degree",0.0174532925199433,AUTHORITY["EPSG","9122"]],AUTHORITY["EPSG","4081"]],VERT_CS["Lanzarote height",VERT_DATUM["Lanzarote",2005,AUTHORITY["EPSG","1278"]],UNIT["metre",1,AUTHORITY["EPSG","9001"]],AXIS["Gravity-related height",UP],AUTHORITY["EPSG","9395"]],AUTHORITY["EPSG","9515"]]');