The building that provided the mine with its name?