IPRG für Zivilurteile verlangt, dass kein ordentliches Rechtsmittel mehr
geltend gemacht werden kann oder die Entscheidung endgültig ist. Letzteres
entspricht der formellen Rechtskraft und stimmt mit der Vollstreckbarkeit nicht
überein, kann doch ein Richterspruch trotz fehlender formeller Rechtskraft bereits
vollstreckbar sein oder trotz gegebener formeller Rechtskraft noch nicht oder nicht
mehr vollstreckbar sein.