آلمان عملیات نیروی دریایی خود در دریای سرخ را بررسی می‌کند