היינריך הרביעי, קיסר האימפריה הרומית הקדושה – שפות אחרות