i Kristiania skall norsk marmor användas för endel