Nubia Redmagic 7 Pro: Gaming-Smartphone startet in Europa