Technisches Wörterbuch oder Handbuch der Gewerbskunde. by Andres Ure