konungen omkring den 22 juli i Trondhjem.