Wie tief ist der Binnensee in Heiligenhafen?