Let be a simple algebraic group over an algebraically closed field of characteristic 0, and . Let be an -triple in with being a long root vector in . Let be the -invariant bilinear form on with and let be such that for all . Let be the Slodowy slice at through the adjoint orbit of and let be the enveloping algebra of ; see [31]. In this article we give an explicit presentation of by generators and relations. As a consequence we deduce that contains an ideal...