In de gevallen waarin de uitkomst van het eerste onderzoek de Commissie niet tot de slotsom kan brengen dat een steunmaatregel met de interne markt verenigbaar is, dient de formele onderzoeksprocedure te worden ingeleid, zodat de Commissie alle inlichtingen kan verzamelen die zij nodig heeft om de verenigbaarheid van de steunmaatregel te beoordelen en om de belanghebbenden in de gelegenheid te stellen hun opmerkingen kenbaar te maken.
In allen Fällen, in denen die Kommission nach der vorläufigen Prüfung nicht auf die Vereinbarkeit der Beihilfe mit dem Binnenmarkt schließen kann, sollte das förmliche Prüfverfahren eröffnet werden, damit die Kommission alle zur Beurteilung der Vereinbarkeit der Beihilfe zweckdienlichen Auskünfte einholen kann und die Beteiligten ihre Stellungnahmen abgeben können.