Manually merge the ideas of github pull #15 and github pull #16 into
master, fixing github issue #12, github issue #15 and github issue #16 -
thanks to filber66 for your valuable input!
This commit also adds an additional cleanup for a static tree variable
that always kept growing because trees were never removed