Xiaomi wechselt mit neuer TV Box endlich auf Google TV