"bergverksted" er et 12-bokstavers substantiv som brukes som synonym for "gruva". gruva betyr: Arbeidssted i forbindelse med bergverksdrift