La Muralla de Avila is a restaurant.