Ishtars, а чего спорить? Я слышала, что Ро комментировала: это "гарри" не производное, а самостоятельное имя, данное при рождении. в списке английских мужских имён разделены Гарри, гаррик, генри, генрих, гарольд, в общем там их куча. имена бывают всякие, смысл: как назвали в официальной бумажке.