An old limestone mine, after being taken to make cement.