12

Which title for the emperors of the Holy Roman Empire comes from the Latin name of a real person?