Supply of oil for topping up lubrication and cooling systems of electric generators