Globaler Markt für Öl- und Gasdichtungen Markteinfluss von KI und Automatis