valsharen, всё бы хорошо, но Гарри - это не сокращение от Гарольда, а вполне самостоятельное имя. Ну, в самом крайнем случае, сокращение от Генриха, но это устаревший вариант. То есть, у этих имён даже происхождение разное.