Where does “Lotharingia” come from?

Words derived from “Lotharingia”