"de" . "Boor" . "Carl" . "Carl de Boor" . . . .