The old coal mine