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