[510] Anhaltseil (Seew.), Seil, womit das zum Ausbessern od. Kielholen auf die Seite gelegte Schiff gehalten wird.