Chef der Barcelona-Attentäter tatsächlich tot