Our own statistics agency agrees with them: 25% lower gas usage by housholds of which 10% can be attributed to warmer weather. The rest is savings.
https://www.cbs.nl/nl-nl/nieuws/2023/07/gasverbruik-nederlan...