La experiencia alemana en el uso industrial del hidrógeno y sus beneficios para la minería de Chile