"pruning" Deutsche bedeutung