till omkring en half million kronor , hvaraf staten skulle bidraga med 300,000 kronor och återstoden skulle tillskjutas af staden Kristiania och af enskilda.