Compacte boom van Derk Onstenk