inrättandet i Kristiania af en teknisk hög skola med en årlig budgetpå