auktion på Gibraltar den 8 oktober kl. 12 midd.