Wörterbuch der industriellen Technik einschließlich Hilfswissenschaften und Bauwesen - Ernst, Richard (Brandstetter, 1956)