Globale Markt für Minenfunksysteme Auswirkungen von KI und Automatisierung