. . "John" . "Irving" . "David" . "David John Irving" . .