inträdde konung Ludvig i sin loge.