Thanks for your reply.
I’ve done some more shopping and hope that this time the card will work. I’ve bought this one now:
And I’ve bought a PCI to mini-PCI adapter and antenna cables.
This will be delivered from China, so it will take a while before I can report back if that that works…