Title: German English, English German Dictionary of Industrial Techniques