Entre los gobernantes del Imperio Romano Germánico, Enrique es mencionado como Enrique (VII), ya que no ejerció como rey exclusivo, sino subordinado a su padre, y además se utiliza para no confundirlo con el emperador Enrique VII de la Casa de Luxemburgo.