derrättelser , som ingått till Gibraltar från Tanger ,har