Det Norske Akademis Ordbok

dypgruve

dypgruve 
substantiv
ETYMOLOGI
første ledd dyp (adjektiv)
BETYDNING OG BRUK
bergverk
 gruve som når store dyp