Och skrattade gjerde man : kungen skrattade,