District heating in 100% renewable energy systems: Combining industrial excess heat and heat pumps