Die Bergwerksmaschinen. Eine Sammlung von Handbüchern für Betriebsbeamte