i Kristiania Eidsivoldsmannen direktör Stecnstrup i den höga äldcrn af 92 är.