[825] Wallleinen, Leinen, welche zwischen den starken Tauen der Wände quer durchgezogen werden u. daher eine Art Strickleiter bilden.