the Xiaomi Redmi 9C at 83 €