högtidsfesten woro närwarande konungen,