Principality of Lüneburg — principality of the Holy Roman Empire