Actually, the name originated from the coronation of Otto the Great by Pope John XII as "Holy Roman Emperor" in the year 962. Otto had inherited the kingdom of Saxony from his father, and had worked to end the feudal divisions which marked Germany at the time.
