SPECIALIST SUPPORT FOR EFFICIENT TREE PRUNING: INSTRUMENTS, TIMING, AND APPROACHES