)
)
European gas prices hit a new record high on Tuesday after a pipeline that brings Russian gas to Germany switched to flow east, a move the Kremlin said had no political implications, while two big German customers said Gazprom was meeting supply obligations.