[742] Tragbaum, 1) ein starkes zum Tragen bestimmtes Holz; 2) der Baum für die Stampfen in der Papiermühle.