The region, as part of Lorraine, was part of the Holy Roman Empire, and then was gradually annexed by France in the 17th century, and formalized as one of the provinces of France. How many times did Germany and the Holy Roman Empire exchange Lorraine