konungens inträde spelades folksången , som af den högtidskläddapubliken