Jesús de Miguel wurde am Donnerstag beerdigt.
Reuters