Lotharingia Ducatus, vulgo Lorraine