hade han i Nordstjerneordens riddaretecken fått mottaga ett offentligt erkännande af sin verksamhet som embetsman.