The Transition from Coal to Gas: Radical Change of the Dutch Gas System