WARNEMONDE den 15 juli.