kan med nöje betecknas såsom ett glädjande tidens tecken.