minenhersteller manufactury for the mines