Compacte boom van Carel Jan Harmen Onstenk