= Teknisk högskola i Kristiania.