Prince of the Holy Roman Empire — former honorary title or title of ruler