Compacte boom van Herman Julius Neumann