Attentat von El Paso: Ein Deutscher unter den Opfern