def write_Text_into_file( text, old_file_name, out_dir, suffix='__split', verbose=True ):
    ''' Based on *old_file_name*, *suffix* and *out_dir*, constructs a new file name and 
        writes *text* (in the ascii normalised JSON format) into the new file.
    ''' 
    name = os.path.basename( old_file_name )
    if '.' in name:
       new_name = re.sub('\.([^.]+)$', suffix+'.\\1', name)
    else:
       new_name = name + suffix
    new_path = os.path.join( out_dir, new_name )
    start = timer()
    #write_document( text, new_path )  # <--- this leaves indent=2 - takes too much extra space ...
    o_f = codecs.open( new_path, mode='wb', encoding='ascii' )
    o_f.write( json.dumps( text ) )
    o_f.close()
    end = timer()
    timestamp = format_time( end-start )
    if verbose:
       print('  ==>  '+new_path+' (file writing time: '+timestamp+')' )