— WARNEMUNDE den 17 juni.