Redmi Book Pro 15 (2023) mit Ryzen 7000 im Test - wieder günstig