De formele onderzoeksprocedure zou alleen kunnen worden aangespannen nadat de artikelen 1, 2 en 5 van Beschikking 2002/827/EGKS door het Gerecht van eerste aanleg zijn ingetrokken of, zoals het legaliteitsprincipe eist, nadat deze door de Commissie officieel zijn ingetrokken.
Das förmliche Prüfverfahren könne erst eingeleitet werden, wenn die Artikel 1, 2 und 5 der Entscheidung 2002/827/EGKS durch das Gericht erster Instanz aufgehoben sind, oder, wie es das Legalitätsprinzip verlangt, wenn sie durch die Kommission, offiziell aufgehoben wurden.