Xiaomi: Das erste Gaming-Smartphone von Redmi ist offiziell