Storm Desmond batters the Ayrshire coast in Scotland at high tide, with strong winds causing the waves to fly over the sea wall.