Ownership of companies for Allen Holding Inc.