— Ett glädjande tiden- tecken.