Tagged gas-network-refurbishment