DeepSeek R1 vs. Kimi K3.1 Pro: Preise, Kontextfenster und Benchmarks