engelska garnisonen i Gibraltar skall den 24 afgå till Sydafrika.