German warship ends mission against Houthi militants in Red Sea