Verzet het Unierecht zich ertegen dat de toepassing van het gezag van gewijsde het de nationale rechter belet om, nadat hij heeft vastgesteld dat overeenkomsten staatssteun vormen die ten onrechte niet zijn aangemeld, alle consequenties uit deze schending te trekken, zulks wegens een definitief geworden nationale rechterlijke beslissing waarin is geoordeeld dat deze overeenkomsten nog steeds van kracht zijn, zonder dat daarin is onderzocht of daarbij staatssteun is ingevoerd? Kort gezegd komt het Hof van Justitie tot de conclusie dat het antwoord op deze vraag 'ja' is.