— WARNEMUNDE den 23 juli.