Der Betrieb der Steinkohlenbergwerke.