default file name extension - Alemán Inglés Diccionario