Ownership of companies for Avenir Corporation/DC