— WARNEMUNDE den 20 juli.