— Texel ben 22 Juli.