Compacte boom van Derk Jan Onstenk