I den danska förstaden Kristianshavn , till venster om den plats , som man ännu med en gammal benämning brukar kalla Barnhustorget , l:gger en stor , otreflig byggnad med höga , skyddandemurar