Zeche Rungenberg-Gelsenkirchen.