"Dutch casualty of World War II" . . . .