El Gobierno de Gibraltar vendió los edificios Old Police Barracks por sólo 175.000 libras según GBC