Der außerbörsliche Handel ist beendet, der reguläre Handel beginnt morgen.