konungen till Trondhjem i Juli månad.