Som ett glädjande faktumomnämdes