Siemens Nixdorf PCD-3 Psl/20

Recently, on Ebay I discovered a variant of the NCR 3125 that I did not know: the Siemens Nixdorf PCD-3 Psl/20.

I did not buy it, but from the picture it seems quite clear that this is, in fact, a NCR 3125. Also, the name seems to hint to the 3125′ 80386SL CPU at 20 MHz…

Update (21.03.2021): Actually this is a NCR 3130, not a NCR 3125. It says “SNI 3130” in the boot menu and has the backlit display. Which I know because now I own one.