. "300234127" . . . "1992-12-30T00:00:00"^^ . "Collocates descriptors for tools used to work hard materials such as stone or hardened plaster, concrete, or brick."@en . . . . . . ""@de . . . . "2016-09-23T09:45:44"^^ . . . ""@nl . . ""@es . . "Termen voor gereedschappen die worden gebruikt om harde materialen, zoals steen, hardgeworden pleisterwerk, beton of baksteen te bewerken."@nl . ""@de . ""@en . "Zusammengestellte Schlagw\u00F6rter f\u00FCr Werkzeug, das zum Bearbeiten harten Materials verwendet wird, wie zum Beispiel Stein oder geh\u00E4rteter Gips, Beton oder Ziegelstein."@de .