If you like this better , please delete or move the HRR .Thanks H. Jonat
Also, Changed German king to king of the Romans, because that's what the text of the Golden Boll says. Granted, the Kings of the Romans were never Roman, and almost always German (or at least Habsburgish if they were Spaniards...), but that was the official title. I think it's better that way. King of the Germans implies a structure that didn't exist, but could be confused -- most people will get that King of the Romans was really an honorific, and didn't have much meaning. [JHK]]