[765] Harzöl, das durch trockne Destillation von Fichtenharz gewonnene Öl; zuerst destilliert neben Gasen und Wasser (Harzessenz, zu Firnissen verwendet), dann dickes, schließlich dünnes Öl, zurück bleibt Pech; das dicke Öl dient, mit Kalk vermischt, als Wagenschmiere, das dünne zum Schmieren von Maschinen.