He was armed with an automatic rifle, a pistol, a machete and a dummy suicide belt. For nine minutes, the 20-year-old gunman turned the cobbled streets of central Vienna into a war zone, firing so many shots from so many places that officials initially believed there were multiple attackers.

By the time the police shot him on Monday night, he had killed four people and wounded 23, shocking a country where deadly terrorist attacks are rare.