WARNEMONDE den 16 juli.