Heating the Dutch housing stock without natural gas