En 980 Lotario renunció a sus derechos sobre Lotaringia.