— Teknisk högskola i Kristiania.