Det war dock synnerligen glädjande , att in-!