Výrobce Winterhalter, Olejové čerpadlo BUSCH 10