RedmiBook 14: der erste Xiaomi-Laptop für Deutschland?