File:Flag of the Republic of Lotharingia.png