— GRÄVESEND den 3 juli.