Zeche, BochumZeche Carl, EssenZenith, München