German warship heads for South China Sea