Det kungl , polytekuiskainstitutet