Title: Dictionary of industrial technics = Wo rterbuch der Industriellen Technik