— WARNEMUNDE den 17juli.