Angriffe auf Schiffe im Roten Meer: Möglicher Einsatz der deutschen Marine

[Das Erste] tagesschau24