Výrobce INFRICO, Olejové čerpadlo BUSCH 10