Officials in the US city of Virginia Beach have named the 12 people killed by a gunman who went on a rampage in a municipal building on Friday.
City manager Dave Hansen said the victims – 11 local authority workers and one contractor – “leave a void we will never be able to fill”.
The gunman shot indiscriminately before dying in a gun battle with police.
He has been identified as DeWayne Craddock and described by police as a disgruntled city employee.
What is known about the victims?
The municipal workers killed were Laquita Brown; Tara Gallagher; Mary Louise Gayle; Alexander Gusev; Katherine Nixon; Richard Nettleton; Christopher Kelly Rapp; Ryan Keith Cox; Joshua Hardy; Michelle Langer and Robert Williams.
The contractor was identified as Herbert Snelling.
They were named during a news briefing on Saturday by Mr Hansen, who added: “Today we all grieve.”
At least four people are known to have been wounded, including a police officer whose life was saved by his bulletproof vest.
What about the gunman?
Police said DeWayne Craddock, 40, had been employed as an engineer with the city’s public utilities department for 15 years.
According to AP news agency he had served in the military and was described by neighbours as quiet and “rarely smiling”.
Virginia Beach Police Chief James Cervera declined to comment on a motive for the shooting.
CNN says DeWayne Craddock is listed on department press releases as a point of contact for information on local road projects.
How did the shooting unfold?
The attack began shortly after 16:00 (20:00 GMT), at Virginia Beach Municipal Center. The area was put into lockdown by police and employees were evacuated.
One of the victims was shot outside in a car and the rest were found over three floors of the government building.
Four officers entered the building, located the gunman and engaged him, police said. The attacker was then shot dead.
Police recovered a rifle and a handgun, thought to have been used by the gunman, at the scene.
According to US tracking website Gun Violence Archive, the incident is the 150th mass shooting in the US so far in 2019.
The site defines a mass shooting as a gun attack in which at least four people are either killed or wounded.