Diccionario de la técnica industrial = Wörterbuch der industriellen Technik - Ernst, Richard (Herder, 2001)