The renovated building of the coal mine’s old main basin