Globale Markt für Minenentwässerungssysteme Auswirkungen von KI und Automat