Sprecher von Bernegg, Anton Herkules