Collocates descriptors for tools used to work hard materials such as stone or hardened plaster, concrete, or brick. (en)
Termen voor gereedschappen die worden gebruikt om harde materialen, zoals steen, hardgeworden pleisterwerk, beton of baksteen te bewerken. (nl)
Zusammengestellte Schlagwörter für Werkzeug, das zum Bearbeiten harten Materials verwendet wird, wie zum Beispiel Stein oder gehärteter Gips, Beton oder Ziegelstein. (de)