— GRÄVESEND den 5 juli.