Эйнер. Современный немецко-русский словарь по горному делу и экологии горного производства