Scenarios for the decarbonization of district heating: the case of Leipzig