[65] Die Mannslange, plur. die -n, die Länge eines gewöhnlichen Mannes, d.i. drey Ellen, oder eine Klafter. Die Grube war vier Mannslängen tief. Auf ähnliche Art gebraucht man im gemeinen Leben auch die Bey- und Nebenwörter mannshoch, mannstief, mannsdick.