Compact tree of Karl Christian Johann Philipp Horstmann