Forscher: Ozonloch über der Antarktis wird kleiner