General Devins , som blifwit utnämnd til Fältmarskalk,