[728] Lotharingien, Name für das frühere Austrasien mit Friesland seit der Reichsteilung von 855; s. Lothar II. und Lothringen.