Compacte boom van Johan Witten tot Wittenstein