OSLO, Jan 10 (Reuters) - Norway's export of natural gas via pipelines to Europe hit an all-time high in December but still declined by 6.7% overall in 2023 following lengthy maintenance outages, pipeline system operator Gassco told Reuters on Wednesday.

(Reporting by Nora Buli, editing by Terje Solsvik)