Aha, I didn't know that one.
I do have an IBM PS/2 external 3,5" floppy (720K) by the way, but that doesn't seem to work anymore. I'll have it solved now by adding a 1.44 3,5" to my just acquired xt/286.
Until now, I had a 5,25 and 3,5 in my main pc- but the latest mainboard I have now just supports one floppy.