Real Alcázar, the old Archivo General de Indias, and the current building (Seville).