Tyske kejsaren Henrik den fjerde,