Gas markets: 2022 versus 2023