De Noorse export van aardgas via pijpleidingen naar Europa bereikte in december een recordhoogte, maar daalde over het hele jaar 2023 toch nog met 6,7% na langdurige onderhoudsonderbrekingen, vertelde pijpleidingexploitant Gassco woensdag aan Reuters.