A la 9.10, los policías fusilaron a Ramón García Sanz.