Börsen öppnas åter den 9 Augusti.