konungen omkring deu 22 juli i Trondhjem.