kungen af Spanien trädde ut på de röda trapporna framför ingången.