Och dermed gick kungen skrattandesina