*A translation of “Electus Romanus Imperator,” not, as is usually the case in English histories, the “Holy Roman Emperor.”