"gruvested" er et 9-bokstavers substantiv som brukes som synonym for "gruva". gruva betyr: Sted hvor gruveaktivitet foregår