Nubia Red Magic 7S Pro выходит на международный рынок