[haarts]

I was stumped when reading this. But it appears to be true!

https://www.yourgibraltartv.com/society/28113-tender-awarded...

[beagle3]

Gibraltars population is 32K, which makes this less crazy than it sounds at first.