Heinrich der Klammersiebte

There were actually two German Kings called Henry the seventh. When writing about them, one is called Henry (VII) and the other one is called Henry VII. In German, the former is actually called “Heinrich der Klammersiebte” which translates to “Henry the bracketed seventh.”