def IntToTime( time_int ):
    """
    Function used to convert an integer into a time-string.

    Args:
        time_int ( int ): the integer.

    Returns:
        string: the converted time-string.
        
    Testing:
        >>> IntToTime( 20220314092000 )
        '2022.03.14 09:20:00'
        >>> IntToTime( 20220314094000 )
        '2022.03.14 09:40:00'
    """
    
    time_string = str( time_int )
    time_string = time_string[ :4 ] + "." + time_string[ 4: ]
    time_string = time_string[ :7 ] + "." + time_string[ 7: ]
    time_string = time_string[ :10 ] + " " + time_string[ 10: ]
    time_string = time_string[ :13 ] + ":" + time_string[ 13: ]
    time_string = time_string[ :16 ] + ":" + time_string[ 16: ]
    
    return time_string