Antarctic ozone hole slightly smaller in 2022 than in 2021 (news)