Den tekniske Skole i Kristiania;