Defos
Ээээ как бы помягче сказать. Гарри это не сокращение от Гарольда Это разные имена от слова вообще.
Это как Олег и Ольгерд, вроде есть сходство, но Олег это вполне себе полное имя к Ольгерду отношения не имеющее.