Para esa fecha había 600 residentes judíos en Gibraltar, lo que constituía un tercio de la población civil.