provinserna Elsas och Lothringen.