Patio de las Doncellas, der zentrale Garten des Mudejar Palastes