KOSPI steigt um bis zu 2,5 % auf einen neuen Rekordhoch von 4.208,93.