Výrobce LIEBHERR, Olejové čerpadlo BUSCH 6