bergmännischer Sammelbegriff für jede Art von Maschine