Xiaomi Redmi 9, Redmi 9A & Redmi 9C offiziell für Deutschland vorgestellt