Comprehensive dictionary of engineering and technology Volume 10 — Richard Ernst