King of Germany
The king of the Romans, or the Holy Roman Empire; considered 'king of Germany'.
Occurrences: