Virginia Beach killings: City names 12 victims of mass shooting

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.