Till Gibraltar äro inskeppade 200 timmermänner , för att arbeta pä M»