US-Militäroperation im Roten Meer: Deutschland erwägt Beteiligung