print the universal-time ut in verbose form on stream, decoding for timezone.if stream is nil, construct and return a string.