Gibraltar dejará volver a pesqueros españoles pero no retirará arrecife.