Ein Palazzo für das Ruhrvenedig - 100 Jahre Mülheimer Stadthalle Sylvester, Eisenstein und Hoffnungsstern - Erinnerungen an den Mülheimer Bergbau