Výrobce LINDR, Olejové čerpadlo BUSCH 20