Germany Deploys Warship to South China Sea, 3 August 2021