Горная мельница

Рудник для добычи пустой породы, которой заполняют выработанные подземные полости.

(Термины российского архитектурного наследия. Плужников В.И., 1995)

Источник: Архитектурный словарь на Gufo.me