Men den 4 juli förnams från Madrid,