DeepSeek V4 Pro 0813 vs. OpenAI GPT-5.1-Codex-Mini: API-Preise, Kontext und Arena-Rating · LLM Live