Compacte boom van Johannes Bernardus Gerritsen