Muktar Edris (ETH) gets the win with a world leading time at 12:54.83.  His first Diamond League win.