On 8 apr, 22:59, Michael Kraemer <M.Krae... at gsi.de> wrote: > MG schrieb: > > > (By the way, Windoof, is that a common pun there?) > > It is. At least among us Windoof haters. > And about as old as Windoof itself. Doof is also a word in Dutch, with an altogether different meaning (as MG surely knows). Hans