Am 23.10.18 um 23:02 schrieb Thomas Koenig: > So, I think this should be clear for trunk now. I will supply > the documentation later. Ping ** 0.571428 ?