One of them was Lothair, and his realm, reaching from Frisia to Rome, restored the Empire ("restauratio imperii"), Lorraine remained a duchy within the Holy Roman Empire until 1766.
One of them was Lothair, and his realm, reaching from Frisia to Rome, was called Lotharingia. In 962, when Otto the Great restored the Empire ("restauratio imperii"), Lorraine remained a duchy within the Holy Roman Empire until 1766.