@oli@social.tchncs.de Thanks for todays belly-laugh. Now to get rid of the chilling knowledge that this is indeed just facts, not a joke. Got anything for that?