Výrobce ER, Olejové čerpadlo BUSCH 40