Mauritius den 5 juli.