Hi Redbean, read my edit above. I managed to fix the adb problem. :)
Hm, I guess it wasn't just me with the unknown device issue then. That's a bit reassuring. Since ADB is working now, this doesn't pose much of a problem for me anymore, but out of curiosity I'd like to know what this device is...