Elektrohydraulik - mit oder ohne Notpumpe?