konungen gjordes af general Holst.