Das Xiaomi Redmi Note 5 Pro kommt nach China