The Arduino A000043 (your first link) is the official Arduino GSM Shield, developed by Arduino Team and Telefonica I+D.
Telefonica has a brand in the UK: O2, and the shield includes a machine-to-machine SIM to use with O2 & other Telefonica brands coverage in any country of the world.