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