Výrobce LIEBHERR, Olejové čerpadlo BUSCH 100