Principality of Hohengeroldseckball

 was a Holy Roman Imperial principality.