"gruveanlegg" er et 11-bokstavers substantiv som brukes som synonym for "bergverksbygning". bergverksbygning betyr: Bygning eller område for gruvedrift