Alla tidningar i Kristiania utgåfvo i måndags eftermiddag extranummer.