Zahl der Opfer der Tragödie in Texas auf neun gestiegen