Probabilistic modelling of seasonal energy demand patterns in the transition from natural gas to hydrogen for an urban energy district