Norge eksporterte sjømat for 9,5 milliarder kroner i juli, målt i