Leder: Det blir et stort innhogg i befolkningen Slutt: 25. september 2023 stenges inngangen til Gruve 7 for godt. Børre Haugli Publisert 09.10.2021 - 08:00 Denne artikkelen er mer enn to år gammel. store norske leder gruve 7 befolkning meninger