havel translation