Wörterbuch der industriellen Technik - Ernst, Richard (Wörterbuch der industriellen Technik, 2017)