vacker gammal teaterbyggnad, Teatro Lope de Vega