Compacte boom van Harmen Onstenk