österrikiska pansarfartyg för några dagar sedan passerat Gibraltar.