Insofern darin vorgesehen ist, dass eine Ausnahme zum Grundsatz der Vollstreckungsimmunität der Güter von fremden Mächten vorgenommen wird, wenn erwiesen ist, dass diese Güter durch die fremde Macht insbesondere für andere als nichtkommerzielle öffentliche Dienstleistungszwecke genutzt werden beziehungsweise dazu bestimmt sind, für andere als nichtkommerzielle öffentliche Dienstleistungszwecke genutzt zu werden, entspricht Artikel 1412quinquies des Gerichtsgesetzbuches dem internationalen öffentlichen Recht und verstößt er folglich nicht gegen die in den Klagegründen angeführten Bestimmungen.
In zoverre het bepaalt dat een uitzondering wordt gemaakt op het beginsel van de uitvoeringsimmuniteit van de eigendommen van buitenlandse mogendheden indien wordt vastgesteld dat die eigendommen in het bijzonder worden gebruikt of beoogd zijn voor gebruik door de buitenlandse mogendheid voor andere dan niet-commerciële overheidsdoeleinden, is artikel 1412quinquies van het Gerechtelijk Wetboek in overeenstemming met het internationaal publiekrecht en schendt het de in de middelen aangevoerde bepalingen dus niet.
