I have replaced the wifi card by another-one of the same type I had lying around, and it is now recognised. So the card I experienced this problem with is somehow defective. Sorry about the noise; not sure how I can close this bug report without impsing on you further.