Compacte boom van Jan Willem Peter Koch