1. 

Jäsenyysvelvoitteiden noudattamatta jättämistä koskeva kanne — Oikeudenkäynnin kohde — Kanteen kohteen määrittäminen oikeudenkäyntiä edeltävässä menettelyssä — Kohdetta ei voida myöhemmin laajentaa — Väitteiden täsmentäminen on sallittua — Esimerkkien ottaminen perusteltuun lausuntoon — Sallittavuuden edellytykset (SEUT 258 artikla) (ks. 23, 24 ja 26 kohta)

2. 

Tuomioistuinmenettely — Kannekirjelmä — Muotovaatimukset — Oikeudenkäynnin kohteen yksilöinti — Yhteenveto kanneperusteista — Kantajan vaatimusten muotoileminen yksiselitteisesti (SEUT 258 artikla) (ks. 28 kohta)

3. 

Pääomien ja maksujen vapaa liikkuvuus — Pääomanliikkeiden vapauttaminen — Direktiivi 88/361 — Soveltamisala — Perintövero kuuluu sen soveltamisalaan (SEUT 63 artiklan 1 kohta; neuvoston direktiivin 88/361 liite I) (ks. 52 ja 53 kohta)

4. 

Pääomien ja maksujen vapaa liikkuvuus — Rajoitukset — Verolainsäädäntö — Perintö- ja lahjavero — Kansallinen lainsäädäntö, jonka mukaan itsehallintoalueet saavat ottaa käyttöön verovähennyksen, jota sovelletaan yksinomaan siinä tapauksessa, että on olemassa liittymäkohta yhteen näistä alueista — Maassa asuvien henkilöiden ja ulkomailla asuvien henkilöiden välinen syrjintä — Kiinteistön sijaintipaikkaan perustuva syrjintä — Ei voida hyväksyä — Oikeuttamisperustetta ei ole (SEUT 63 ja SEUT 65 artikla) (ks. 57, 58, 66, 67, 69–73, 78, 79 ja 84 kohta sekä tuomiolauselma)

5. 

Kansainväliset sopimukset — Euroopan talousalueesta tehty sopimus — Pääomien vapaa liikkuvuus — Rajoitukset — Verolainsäädäntö — Kansallinen lainsäädäntö, jonka mukaan itsehallintoalueet saavat ottaa käyttöön verovähennyksen, jota sovelletaan yksinomaan siinä tapauksessa, että on olemassa liittymäkohta yhteen näistä alueista — Maassa asuvien henkilöiden ja ulkomailla asuvien henkilöiden välinen syrjintä — Kiinteistön sijaintipaikkaan perustuva syrjintä — Ei voida hyväksyä — Oikeuttamisperuste — Veronkierron estämistä ei ole (ETA-sopimuksen 40 artikla) (ks. 80–84 kohta ja tuomiolauselma)

1) 

Espanjan kuningaskunta ei ole noudattanut SEUT 63 artiklan ja Euroopan talousalueesta 2.5.1992 tehdyn sopimuksen 40 artiklan mukaisia velvoitteitaan, koska se on tehnyt eron yhtäältä Espanjassa asuvien ja toisaalta ulkomailla asuvien perinnön- ja lahjansaajien saamien lahjoitusten ja perintöjen verokohtelun, yhtäältä Espanjassa asuvien ja toisaalta ulkomailla asuvien perinnönjättäjien lahjoitusten ja perintöjen verokohtelun sekä yhtäältä Espanjassa ja toisaalta sen ulkopuolella sijaitsevan kiinteän omaisuuden samankaltaisten lahjoitusten ja luovutusten verokohtelun välillä.

2) 

Kanne hylätään muilta osin.

3) 

Espanjan kuningaskunta velvoitetaan korvaamaan oikeudenkäyntikulut.