Czy OG zostało sprzedane MicroStrategy?