2008/4/28 Michael Bimmler <mbimmler(a)gmail.com>om>:
...as Guillaume pointed out quite correctly: We heard
of this yesterday too.
I first thought I myself might have missed something, but from Lodewijk's,
David's and Guillaume's reactions I discern that they, too, have been
surprised.
I certainly hadn't heard a word of it before this.
- d.