Výrobce ER, Olejové čerpadlo BUSCH 20