Ich habe diesen mini-PCIe Adapter gefunden, der für unsere Zwecke funktionieren sollte:
http://www.bplus.com.tw/Adapter/MP1.html
http://www.hwtools.net/PDF/mp1.pdf
Der Adapter kostet $25:
http://www.hwtools.net/Buy_It_Now.html
Einen deutschen Händler habe ich leider nicht gefunden.
Gruß
RaBa.