adjust-to-civil-time($in as xs:dateTime?, $tz as xs:string) ==> xs:dateTime?
If the input is an empty sequence, the result is an empty sequence.
Otherwise the input dateTime is adjusted to a dateTime in the civil timezone named in the second argument.
This uses Olsen timezone names, for example America/New_York or Europe/Paris. For example,
adjust-to-civil-time(xs:dateTime('2008-01-10T12:00:00Z', 'America/New_York')
returns 2008-01-10T07:00:00-05:00
adjust-to-civil-time(xs:dateTime('2008-07-10T12:00:00Z', 'America/New_York')
returns 2008-07-10T08:00:00-04:00
