Globaler Markt für Spritzbetonmaschinen, die KI und Automatisierung auswirk