Výrobce LIEBHERR, Olejové čerpadlo BUSCH 10