$RIVER Wann beginnt die Koreanische Börse? Wer weiß?