. . "20th-century Dutch civil servant" . . . .