tree-pruning - German English Dictionary