bokhållaren Haus Döderlein , Kristiania.