’ WARNEMUNDE den 16 juli.