"bergverkshistorie" er et 17-bokstavers substantiv som brukes som synonym for "gruva". gruva betyr: Historie knyttet til gruvedrift i et område