Residential green space types, allergy symptoms and mental health in a cohort of tree pollen allergy patients