Die Wallleine
, [
1367-1368] 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.