  We give a purely algebraic treatment of reduction theory for connections over
the formal punctured disc. Our proofs apply to arbitrary connected linear
algebraic groups over an algebraically closed field of characteristic 0. We
also state and prove some new quantitative results.
