Akkor ezek szerint csak átmenetileg lett leállítva a Redmi 5 Plus gyártása?