stora öppning uppstod i det sjuttonde århundradet genom sammanstörtandet af flera sidogrufvor , som hade blifvit utvidgade pä ett oförsigtigt sätt.