polgári peres; Nemzetközi Bíróság; döntést.