Teknillinen korkeakoulu, päärakennus auditorioineen sekä kirjasto