Det vore dock ett glädjande tidstecken,