I went back to the shop and they were able to locate the drivers on a german website. The problem was that all the instructions were in German as well, so I had a couple of interesting hours trying to translate everything before I could try.
I used the online translator at Reverso, which I can highly recommend:
http://www.reverso.net/text_translation.asp
Anyway, I eventually managed to sort things out and, after the third reboot, it magically picked up the driver. Since then, everything has been just fine and dandy.
Stuart