Výrobce MAINCA, Olejové čerpadlo BUSCH 20