Spanien har utfärdat ett dekret , hvari bestämmes , att dagarne den 9 — 11 dennes skola vara högtidsdagar tor hela landet.