I read, but must have forgotten :-) On Tue, 16 May 2017 08:33:03 +0200 Jörg <joerg.straube at iaeth.ch> wrote: > x DIV 0 is undefined. If you read the hitchhiker's guide to the > galaxy the answer is 42 :-) -- Tomas Kral <thomas.kral at email.cz>