"gruver" er et 6-bokstavers substantiv som brukes som synonym for "bergstedene". bergstedene betyr: steder hvor man utvinner mineraler