å Gibraltar äro beräknade att kosta 801.000 pund , de i Portsmouth 377,000 pund och de i Portland 131,000 pund sterling.