elSeverd, вот нет, Гарри и Гарольд, в случае НАШЕГО Гарри - разные имена. Но в каких-то случаях это действительно может быть одним именем. У них там они дочку даже рекой могут называть - Ривер. Гарри называли Гарри, а не Гарольдом, и его не сокращали, он просто Гарри изначально был и все.
Вспомнить хоть завещание Дамба. Если у кого-то было первое или второе имя полное, оно называлось полным, как-то я сомневаюсь, что Гарри просто так взяли и обделили, не назвав Гарольдом.