Вот, кстати, по-русски традиционно "Генрих", а не Хайнрих (и, насколько я помню, именно это имя исходное, ещё из др.-верхненемецкого).