— GRÄVESEND den 9 maj.