Due to Houthi attacks, German warships avoid the Red Sea