Moeten taxusbomen uit de tuin verwijderd worden?