Two doctors were eating near the city's Main Market Square when a gunman began firing at random.
This story was curated by Byte Panorama from reporting published by BBC News. Our summary condenses the essential facts available at the time of collection; it does not reproduce the full article. Details, quotes and later updates may appear in the original report.