https://www.dict.cc/english-german/East+China+Sea.html