Xiaomi Redmi 12 startet wohl im Juli 2023 für 199 Euro