Herkules-Formel (4)