Oude werkplaats bij Zeche Waltrop.