Tagged gas-network-maintenance