Výrobce EASYTHERM, Olejové čerpadlo BUSCH 10