( Hiisdelsinstitutets högtidssal .)