Globaler Markt für digitale Seismografiee Auswirkungen von KI und Automatis