meddelas^officielt , att general Martinez Campos d.