Herzlichen Dank an euch beide.

Das Z steht ja für Zulu Time (also die Greenwich Zeit). In der Regel werden wir die Ortszeit aus Deutschland bekommen. Die hätte dann anstatt des Z den Zeitoffset hinten dran: '2022-09-07T17:16:12.123+02:00'

Es gibt da dafür nichts "Fertiges" in SQL? Ich muss also selber aktiv werden und mit timestamp und timezone rechnen?

Es geht mir auch um die Ausgabe (als JSON). Unsere Kollegen hätten gerne einen Timestamp der obigen Form (also mit Zeit-Offset). Den kann ich natürlich über eine Funktion "basteln". Aber ich hatte gehofft, dass IBM da inzwischen etwas bereitgestellt hat. Angeblich ist
RFC 3339 ja der weltweite Standard (wegen Internet).