gamla provinsen Elsass och de öfriga landsdelarne gripa ia i Lothringen.