Tbf there wouldn't be any difference since Rex Lotharingiae means both King of Lorraine and King of Lotharingia. There's no differentiation at the time as Lotharingia had the same meaning as Lorraine, Lothringen, Lottringen, etc, etc. Only later on did historians start using the Latin word to...