The Principality of Liechtenstein was established within the Holy Roman Empire in 1719 .