King of the Romans
I am not sure if the title King of Arles went to the King of the Romans under a Holy Roman Emperor or not.