Compacte boom van Gerardus Johannes Onstenk