What Is Allen Holding Company Llc