Industrial hall for processing coals in Zollverein, an industrial heritage site in Essen, Germany, a former coal mine