— Kungen i Spanien hade den 8October