2024 - Xiaomi 13 and 13 Pro: the official prices in euros are there ...