Antalet elever vid tekniskahögskolan