The limestone mine in Elbingerode, Germany