Compacte boom van Joannes Onstenk