distriklsfängelsel i Kristiania — Frän Danmark.