Compact tree of Willem Hendrik Jan Storm van 's Gravesande