Rotes Meer: Wie einsatzfähig ist Deutschlands Marine?