märkas norska statens premie å 5,000 kronor samt Kristiania stads premie å 5,000 kr.