Prince of Leiningen — hereditary title of nobility in the Holy Roman Empire