(подземная) инструментальная шахта