DeepSeek hat sein neues KI-Modell V4 veröffentlicht – leistungsstärker, günstiger und erstmals auf Huawei-Chips. Was bedeutet das für Chinas KI-Souveränität?