[606] Pantschen (Prätschen), eine Art des Walkens, durch welches gebleichte od. gefärbte Zeuge in Wasser gereinigt werden. Man bedient sich dabei auch der Pantschmaschinen (Pantschmühlen), welche mehre Klopfhölzer (Waschbläuel) enthalten, welche als zweiarmige Hebel von einer Daumenwelle abwechselnd gehoben werden u. dann mit ihren vorderen Theilen (Köpfen) auf das auf einem Tische liegende, von Wasser beständig ausgespülte Zeug niederschlagen.