Pero yo desconozco que el Real Cinema haya sido Teatro de Opera. Lo desconozco. No tengo ni idea al respecto.