Globaler Markt für Gasverteilungszeitpunkte Auswirkungen von KI und Automat