( konungen ) ; men hvilken konung !"