The victims’ names and ages have not been released. The police said the gunman also died, in an apparent suicide. The attack in the city of Graz is among the worst school shootings in Europe in years.

© Erwin Scheriau, via Agence France-Presse — Getty Images