Geothermal energy for the manufacture of industrial heat pumps: Armstrong’s virtuous cycle in Herstal