Redmi 9, Redmi 9A, and Redmi 9C launched globally; prices start at €99 ...