— TEXEL den 31 Juli.