Twenne österrikista pansarfartyg ha passerat Gibraltar,