SPECIALIST ADVICE FOR EFFICIENT TREE PRUNING: INSTRUMENTS, TIMING, AND TECHNIQUES