Pflasterstößel
, des -s, plur. ut nom. sing. eine Handramine der Steinsetzer, die in einem Pflaster neben einander gelegten Kieselsteine damit gleich und fest zu stoßen; im gemeinen Leben die Jungfer.