. . . "Insurance company of the Netherlands" . . .