European gas prices pause as Norway oil and gas strike ends