RedmiBook 15: endlich das erste globale Notebook von Xiaomi?