Lotharingen , hvaraf Elsass då likaledes utgjorde en del , härstammar från Lothar li , bror till kojsaren nf Tyskland med samma namn.