Compact tree of Harmannus van der Lei