Výrobce INFRICO, Olejové čerpadlo BUSCH 20