to die out, to peter out, to become extinct, to cease, to be stopped, to be discontinued, to be cut off