Diccionario de la técnica industrial español-alemán - Ernst, Richard (Gustavo Gili, 1970)