Gravel „Grit, s, engl., der Kies, Grus, Gries, im Meer die Schingels (Singels). to gravel, tr. V., engl., (das Pflaster) bekiesen, (gefirnißte Holztheile) besanden, pudern.
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. 2, S. 520Scan: Universitätsbibliothek Heidelberg · gemeinfrei