Jürgen Spitzmüller Mon, 04 Apr 2011 01:26:24 -0700
Jürgen Spitzmüller wrote: > This one is probably untrivial I meant *trivial*, of course.
Jürgen