【简讯】韩国股市市值超过德国，成全球第十大股票市场。