Kopf, W., 1. frz. tete, f. engl. head, an Gewölbsteinen, Keilen, Hammerklingen etc. die stärkere Seite, an länglichen Quadern od. Mauerziegeln das schmale Ende. — 2.(Bergbau) das Ende eines Stempels, welches in das…
Illustrirtes Bau-Lexikon. Praktisches Hülfs- und Nachschlagebuch im Gebiete des Hoch- und Flachbaues, Land- und Wasserbaues, Mühlen- und Bergbaues, der Schiffs- und KriegsbaukunstHrsg. von Oscar Mothes, 4. Aufl., Leipzig und Berlin: Otto Spamer 1881–1884 · Bd. 3, S. 210