[202] Plattstampfer, ein Werkzeug, ähnlich dem Krummstampfer u. auch zu gleichem Gebrauch, doch unten mit einem geraden Rande.
Adelung-1793: Plattstampfer, der