Compacte boom van Herman Hendrik August Maria Onstenk