Comment by WalterBright

I have a few hundred books on WW2, it's possible I'm mis-remembering it. I am ashamed :-(