norska statens premie å 6,000 kronor samt Kristiania stads premie å 5,000 kronor.