Wallleine, die

Die Wallleine, plur. die -n, auf den Schiffen, die Leinen, welche horizontal zwischen den starken stehenden Tauen der Wände befestiget werden; entweder von wallen, weil sie auch den Matrosen Statt der Leitern dienen, oder auch von dem Engl. wall, die Wand, so fern das stehende Tauwerk auf den Schiffen auch eine Wand genannt wird.