9 , då konungenlugnt