Für bürgerliche Rechtsstreitigkeiten, die sich aus den Artikeln 85 oder 86 des Vertrages zur Gründung der Europäischen Gemeinschaft oder aus den Artikeln 53 oder 54 des Abkommens über den Europäischen Wirtschaftsraum ergeben, gelten die §§ 87 bis 90 und 91 bis 95 entsprechend; hängt die Entscheidung eines Rechtsstreits ganz oder teilweise von der Anwendbarkeit des Artikels 85 oder des Artikels 86 des Vertrages zur Gründung der Europäischen Gemeinschaft oder des Artikels 53 oder des Artikels 54 des Abkommens über den Europäischen Wirtschaftsraum ab, so gilt § 87 Abs. 1 entsprechend.