Na, das deckt sich dann ja mit den Daten aus der Süddeutschen Zeitung. 
Da sind in der Gesamtzahl dann auch die ausländischen Pendler enthalten, die nicht zu den Einwohnerzahlen Gibraltars dazugerechnet sind.