"Havel, David" . .