provinserna Elsass och Lothringen.