historiska museet i Kristiania.