Senker

ein mit schrägen Schnittflächen versehenes, umlaufendes Werkzeug zum Ausarbeiten oder Abschrägen der Kanten eines vorgebohrten Lochs.