. . . "Defunct company of Luxembourg" . . . .