The 12 people killed when a gunman fired on his colleagues at a municipal building in the US city of Virginia Beach have been named.
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.
Authorities said they would only refer to him by name once, in order to focus attention on the victims.
Source:
BBC