Compact tree of Henning Jørgen Lange