Russia restarts gas, Europe sighs with relief