DeichmanBka , som nu tillhör Kristiania kommun och är något större än det , som nu till fallit staden Bergen.