var Kristiania teater praktfullt dekorerad.