Börsen öppnas åter den 9 augusti.