On Fri, 17 Aug 2012, Tobias Nipkow wrote: > Am 17/08/2012 15:15, schrieb Makarius: >> I count this as trolling on this mailing list. > > We all have our pet peeves. Tjark can express that somewhere privately, not here on this mailing list. Makarius