Wann beginnt die Hohe See?