; hufvudstaden i det numera tyska Lothrin ' gen.