Compact tree of Johann David Holzhüter